A simple modal logic for belief revision
نویسنده
چکیده
We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule. Some theorems of this logic are derived concerning the interaction between current beliefs and future beliefs. Information flows and iterated revision are also discussed.
منابع مشابه
Temporal Interaction of Information and Belief
The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t, contains a normal belief operator Bt and a non-normal information operator It which is analogous to the ‘only knowing’ operator discussed in the computer science literature. Soundness and completeness of the logic are proved and the relationship between the...
متن کاملGiacomo Bonanno
The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t, contains a normal belief operator Bt and a non-normal information operator It which is analogous to the ‘only knowing’ operator discussed in the computer science literature. Soundness and completeness of the logic are proved and the relationship between the...
متن کاملThe modal logic of Bayesian belief revision
In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. The containment rela...
متن کاملBelief Change in Branching Time: AGM-consistency and Iterated Revision
We study belief change in the branching-time structures introduced in [4]. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision ...
متن کاملBelief revision in a temporal framework
We study a branching-time temporal logic of belief revision where the interaction of belief and information is modeled explicitly. The logic is based on three modal operators: a belief operator, an information operator and a next-time operator. We consider three logics of increasing strength. The rst captures the most basic notion of minimal belief revision. The second characterizes the qualit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Synthese
دوره 147 شماره
صفحات -
تاریخ انتشار 2005